Merge "Adding a prefs header for options related to User Pages"
authorawjrichards <arichards@wikimedia.org>
Fri, 25 May 2012 23:23:05 +0000 (23:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 25 May 2012 23:23:05 +0000 (23:23 +0000)
commit56cc9ca8d0ef84a9fbbcc014a2a248c918d82172
tree7a11af2f7388b42641a5b21a7c00d17047c96a51
parent127bb9a8f3902ebfa0bb3ab17e212a1c2adff0a3
parentdb08936d683f2268a602eb756c6d3f06bc382a7c
Merge "Adding a prefs header for options related to User Pages"